programme correctness proof - Spanish English Dictionary